Algorithmic Techniques Reading Group


Reading Group on Algorithmic Techniques



Summary: In this reading group we try to understand recent useful algorithmic techniques, and their connections to various other areas such as computational complexity, combinatorial and polynomial optimization, quantum computing and so on.

We usually meet at Klaus Advanced Computing Building (KACB 2100, MonDay 15:00, but this may change depending on availability of people).
The exact time and location for each lecture will be posted below. The table below also has relevant reading material/slides for each lecture.

Below is also a tentative list of possibly interesting papers to present. If you would like to present one of the papers, or add some to this list, please let Arindam know (email: arindamkhan [at] gatech.edu).




Some Tentative Topics: Iterative Methods, Lovasz Local Lemma, LP/SDP Hierarchies, Submodular Optimization, Dependent Rounding, Discrepancy/Entropy based Rounding, Epsilon Nets, Parameterized Complexity, Other recent interesting papers in STOC/FOCS/SODA.
Please feel free to suggest any other useful interesting topic/paper.



Lectures:

Date/Time Title Reading Material                                
1 Nov 3, Mon 15:00 (Klaus, room 2100) Introduction to Iterative methods.

Speaker: Arindam

Notes on Matching, Spanning Tree.
We will follow chapter 1 and 3 from Lau-Ravi-Singh's boook: Iterative Methods in Combinatorial Optimization (pdf)

We will show integrality of bipartite matching LP and an approximation of Generalized Assignment problem [Shmoys-Tardos] using Iterative methods.


2 Nov 10, Mon 15:00
(Klaus, room 2100)
Iterative Methods and Spanning Trees.

Speaker: Arindam

We will follow chapter 4 from Lau-Ravi-Singh's boook: Iterative Methods in Combinatorial Optimization (pdf)

We will cover integrality of subtour LP for spanning trees. Introduce iterative leaf-finding, 1-edge finding algorithm and global counting, local token counting arguments. We will see applications of uncrossing arguments and rank lemma. We will then study minimum degree bounded spanning trees. First Goemans' result where degree bound is violated by an additive factor of 2 [FOCS 06] and then additive violation of 1 by Singh-Lau [STOC 07].


3 Nov 17, Mon 15:30
(Klaus, room 2100)
Dual Fitting.

Speaker: Ruta

Greedy facility location algorithms analyzed using dual fitting with factor-revealing {LP} by Jain et al.(pdf)
We will study the use of Factor Revealing LP, Dual Fitting and a brief survey on uncapacitated facility location problem.


4 Nov 24, Mon 15:00
(Klaus, room 2100)
Constructive Proof of Lovasz Local Lemma.

Speaker: Bartosz

We will study Moser Tardos Framework for constructive proof of Lovasz Local Lemma (pdf)




5 Dec 3, Wed 13:00
(Klaus, room 2108)
Lovasz Local Lemma and Partial Resampling.

Speaker: Ioannis

We will study Moser Tardos Framework with Partial Resampling by Harris and Srinivasan. (pdf)




6 March 9, Mon 17:00
(Klaus, room 2119)
Online Algorithms.

Speaker: Arindam

We will study basics of Online Algorithms such as competitive ratios and use of potential functions in the analysis.
1. Load Balancing Algorithm by Aspnes et al. (pdf)
2. Multiplicative Weight Updates by Arora Hazan Kale (pdf)




7 March 30, Mon 16:00
(Klaus, room 2108)
Fixed Parameter Tractability.

Speaker: Bartosz

We will study basics of Fixed parameter Tractability such as kernelization, bounded search tree, iterative compression, graph minors and color coding.
Daniel Marx's slides on Fixed Parameter Algorithms:
  Part 1:  Algorithmic techniques,
  Part 2:  Treewidth,
  Part 3:  Complexity




8 April 6, Mon 16:00
(Klaus, room 2108)
Fixed Parameter Tractability.

Speaker: Bartosz

We continue discussions on Fixed parameter Tractability with focus on iterative compression, tree width, excluded grid theorem and irrelevant vertex techniques for k-planarity deletion and k-odd cycle transversal problem.
Daniel Marx's slides on Fixed Parameter Algorithms:
  Part 1:  Algorithmic techniques,
  Part 2:  Treewidth,
  Part 3:  Complexity





List of Papers (with links):


1.  [Iterative Methods] Book by Lau-Ravi-Singh.
    pdf

2.  [LP/SDP Hierarchies] An excellent recent survey on Hierarchies(together with slides) by Rothvoss on recent use of Lasserre hierarchy in approximation algorithms.
   Slides  pdf

3.  [LLL] Leighton Maggs Rao paper on Routing.
    pdf

4.  [LLL] Recent paper on O(congestion+ Dilation) packet Routing by Rothvoss.
    pdf

5.  [LLL] Moser Tardos constructive LLL.
    pdf

6.  [Parameterized Complexity] Daniel Marx's slides on Fixed Parameter Algorithms:
  Part 1:  Algorithmic techniques,
  Part 2:  Treewidth,
  Part 3:  Complexity

7.  [Parameterized Complexity] A quick summary of the field of Parameterized Complexity.
    pdf

8.  [Optimization] Goemans' slides on uncrossing arguments.
    pdf

9.  [LLL] New Constructive Aspects of the Lovasz Local Lemma by Haeupler, Saha, Srinivasan [FOCS10].
    pdf

10.  [LLL] THE MOSER-TARDOS FRAMEWORK WITH PARTIAL RESAMPLING by Harris and Srinivasan [full version combining papers from STOC 2013 and FOCS 2013.
    pdf

11.  [Dual Fitting] Greedy Facility Location Algorithms Analyzed Using Dual Fitting with Factor-Revealing LP.
    pdf

12.  [Online Algorithms] Online Routing of Virtual Circuits with Application to Load Balancing and Machine Scheduling by Aspnes et al.
    pdf

13.  [Online Algorithms] Multiplicative Weight Updates Survey by Arora Hazan Kale.
    pdf